($\lambda$$x$,$z$. $\mid$$x$$\mid$) $\in$ $\mathbb{Z}\rightarrow$($\downarrow$True)$\rightarrow\mathbb{N}$